-
1 conjunctive normal form
конъюнктивная нормальная форма
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Англо-русский словарь нормативно-технической терминологии > conjunctive normal form
-
2 conjunctive normal form
1) Компьютерная техника: конъюнктивный нормальная форма2) Логика: конъюнктивная нормальная форма3) Вычислительная техника: КНФ4) Макаров: нормальная конъюнктивная формаУниверсальный англо-русский словарь > conjunctive normal form
-
3 conjunctive normal form
English-Russian information technology > conjunctive normal form
-
4 conjunctive normal form
English-Russian dictionary of computer science > conjunctive normal form
-
5 full conjunctive normal form
normalized form — нормализованная форма; нормализованный вид
analytic form — аналитическая форма; аналитическое выражение
English-Russian base dictionary > full conjunctive normal form
-
6 N full conjunctive normal form
Универсальный англо-русский словарь > N full conjunctive normal form
-
7 full conjunctive normal form
Вычислительная техника: совершенная конъюнктивная нормальная формаУниверсальный англо-русский словарь > full conjunctive normal form
-
8 full conjunctive normal form
лог. совершенная конъюнктивная нормальная формаEnglish-Russian dictionary of computer science and programming > full conjunctive normal form
-
9 full conjunctive normal form
English-Russian information technology > full conjunctive normal form
-
10 form
1) форма || формировать, образовывать2) (экранный) бланк, формуляр4) матем. выражение•- form the instruction- accounting form
- analog form
- analytic form
- archive form
- Backus normal form
- Backus-Naur form
- binary quadratic form
- canonical form
- coding form
- common machine-readable form
- conjuctive normal form
- cut form
- data collection form
- description form
- digital form
- disjunctive normal form
- E form
- elemental form
- entry form
- excess form
- exponent form
- exponent-plus N form
- fanfold forms
- full conjunctive normal form
- full disjunctive normal form
- graphical form
- graphic form
- implicative normal form
- internal form
- irredundant form
- linear form
- machine-processible form
- minterm form
- name form
- nested form
- normal form
- normalized form
- plain-text form
- polyadic form
- prenex form
- quadratic form
- sentencial form
- standard form
- state-space form
- true form
- two-level formEnglish-Russian dictionary of computer science and programming > form
-
11 form
1) анкета; бланк2) вид; форма || придавать вид или форму3) контур; очертание4) конфигурация6) строит. опалубка; элемент опалубки7) скамейка, лавочка8) формуляр9) составлять; образовывать10) формироваться•calculation in a series form — матем. вычисление с помощью ряда
evaluation of indeterminate form — матем. раскрытие неопределённости
fraction in a factored form — матем. дробь в форме разложения на множители
in an expanded form — в виде ряда; в развёрнутом виде
integration in a closed form — матем. интегрирование в конечном виде
of closed form — матем. в конечном виде, с конечным числом членов
preparation of type form — полигр. чернение набора
reduction to a normal form — матем. приведение к нормальной форме
to bring into a canonical form — матем. приводить к канонической форме; приводить к каноническому виду
to form a circle — замыкаться в кольцо; образовывать кольцо
to rearrange in the form — переписывать в виде; преобразовывать к виду ( об уравнениях)
- absolutely convergent form - absolutely extreme form - definite form - elementary form - elimination form of inverse - everywhere regular form - evolutionary operation form - geodesic curvature form - indefinite form - p-adically equivalent form - relatively bounded form - repair request form - third fundamental form - totally definite form - totally discontinuous formto take on a form — принимать форму; принимать вид
-
12 form
1) форма
2) бланк
3) вилка
4) наформовать
5) наформовывать
6) становлять
7) формировать
8) формироваться
9) вид
10) образовывать
11) составлять
12) придавать вид или форму
13) анкета
14) входить в состав
15) гиперповерхность
16) конструировать
17) формат
18) каркас для намотки
19) фасонный
20) образец
21) отформовать
22) разновидность
23) тип
24) модель
25) очертание
26) контур
– abridged form
– adjoint form
– assume the form
– asymptotic form
– Backus-Naur form
– be in form of
– blank form
– block form
– canonical form
– coding form
– coil form
– collapsible form
– conjunctive form
– contracted form
– definite form
– digital form
– disjunctive form
– double form
– elasticity of form
– equation of form
– erect form
– execute form
– expanded form
– exterior form
– final form
– form angle
– form anisotropy
– form bead
– form circle
– form closure
– form drainage
– form factor
– form filling-in
– form gauge
– form line
– form milling
– form mount
– form of constraint
– form point
– form resistance
– form roller
– form sentence
– form solution
– form stability
– form sum of
– form takedown
– form tolerance
– if we form
– in the form of
– in the form of avalanche
– indeterminate form
– irredundant form
– message form
– multilinear form
– normed form
– Pfaffian form
– quadratic form
– remove form
– sesquilinear form
– skeleton form
– type form
be supplied in knock-down form — поставляется в разобранном виде
evaluation of indeterminate form — раскрытие неопределенностей
field form factor — <electr.> коэффициент поля
normal disjunctive form — <math.> форма нормальная дизъюнктивная
primitive quadratic form — чисто коренная квадратическая форма
-
13 CNF
conjunctive normal form - конъюнктивная нормальная форма; КНФ -
14 CNF
2) Военный термин: Central NOTAM Facility, Commander, Naval Forces3) Шутливое выражение: Crunchy Normal Form4) Сокращение: Conjunctive Normal Form, Chin National Front (Some 70,000 people in Chin State are facing severe food shortages)5) Нефть: continuous fracture network6) Космонавтика: конъюнктивная нормальная форма7) Транспорт: Chomsky Normal Form8) Сетевые технологии: Compressed Volume File9) Расширение файла: Configuration printer setup file, Configuration file10) Логистика: стоимость и фрахт (Cost and Freight (то же что и C&F и CFR))11) Нанотехнологии: углеродные нановолокна (carbon nanofibers)12) NYSE. C N F Transmission, Inc.13) Международная торговля: Compressed Natural Fuel -
15 CNF
-
16 CNF
сокр. от conjunctive normal formконъюнктивная нормальная форма, КНФ -
17 PCNF
1) Военный термин: Pacific Central NOTAM Facility2) Алгебра: СКНФ (principal conjunctive normal form) -
18 CNF
I
(conjunctive normal form) конъюнктивная нормальная форма, КНФпредставление логического выражения в виде конъюнкции дизъюнкций переменныхAnt:
II
Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > CNF
-
19 CNF
- установка для нейтронных [ядерно-физических] исследований Канады
- конъюнктивная нормальная форма
конъюнктивная нормальная форма
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
установка для нейтронных [ядерно-физических] исследований Канады
—
[А.С.Гольдберг. Англо-русский энергетический словарь. 2006 г.]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > CNF
-
20 reduction
2) измельчение3) обжатие4) ослабление5) понижение; снижение; уменьшение; редуцирование6) преобразование; изменение7) приведение; упрощение8) метал. раскисление9) метал. коэффициент вытяжки10) сокращение; сужение11) скидка13) горн. процесс отделения металла о руды•reduction ad absurdum — мат. приведение к абсурду; сведение к противоречию ( метод доказательства теоремы)
reduction mod p — мат. редукция по модулю p
reduction per pass — метал. обжатие за проход
reduction to single-domain state — физ. монодоменизация
reduction to unity — мат. приведение к единице
- 1
- 2
См. также в других словарях:
Conjunctive normal form — In Boolean logic, a formula is in conjunctive normal form (CNF) if it is a conjunction of clauses, where a clause is a disjunction of literals. As a normal form, it is useful in automated theorem proving. It is similar to the product of sums form … Wikipedia
conjunctive normal form — noun The form of a boolean formula that the formula has if the formula is a conjunction of disjunctions of literals, such as (A or B or C) and (D or E or not F) … Wiktionary
Normal form — may refer to: Normal form (abstract rewriting) Normal form (databases) Normal form (game theory) Normal form (mathematics) In formal language theory: Beta normal form Chomsky normal form Greibach normal form Kuroda normal form Normal form… … Wikipedia
normal form — A well formed formula of the propositional calculus is in conjunctive normal form when it is of the form A & B &…where each of A, B…is a formula consisting of a disjunction of atomic propositions or negations of atomic propositions (e.g. p ∨q ∨ ¬ … Philosophy dictionary
Disjunctive normal form — In boolean logic, a disjunctive normal form (DNF) is a standardization (or normalization) of a logical formula which is a disjunction of conjunctive clauses. As a normal form, it is useful in automated theorem proving. A logical formula is… … Wikipedia
Clausal normal form — The clausal normal form (or clause normal form, conjunctive normal form, CNF) of a logical formula is used in logic programming and many theorem proving systems. A formula in clause normal form is a set of clauses, interpreted as a conjunction. A … Wikipedia
Negation normal form — A logical formula is in negation normal form if negation occurs only immediately above elementary propositions, and { } are the only allowed Boolean connectives. In classical logic each formula can be brought into this form by replacing… … Wikipedia
Algebraic normal form — In Boolean logic, the algebraic normal form (ANF) is a method of standardizing and normalizing logical formulas. As a normal form, it can be used in automated theorem proving (ATP), but is more commonly used in the design of cryptographic random… … Wikipedia
Skolem normal form — A formula of first order logic is in Skolem normal form (named after Thoralf Skolem) if it is in conjunctive prenex normal form with only universal first order quantifiers. Every first order formula can be converted into Skolem normal form while… … Wikipedia
Conjunctive query — In database theory, a conjunctive query is a restricted form of first order queries. A large part of queries issued on relational databases can be written as conjunctive queries, and large parts of other first order queries can be written as… … Wikipedia
Canonical form (Boolean algebra) — In Boolean algebra, any Boolean function can be expressed in a canonical form using the dual concepts of minterms and maxterms. Minterms are called products because they are the logical AND of a set of variables, and maxterms are called sums… … Wikipedia